∂03-May-79  1511	JMC  
To:   PAT    
please call iii about board meeting, and if it doesn't conflict with
wilkins oral tell him he needn't change date

∂02-May-79  0301	JMC  →12747 (9-May-79)   
To:   "#___JMC.PLN[2,2]"    
Gone till Wednesday May 9.

∂02-May-79  0258	JMC  
To:   PAT    
Please send ELEPHA.XGP to Corky.

∂02-May-79  0257	JMC  
To:   PAT    
Please send MANNA.LE3 to Zohar as a telegram.

∂02-May-79  0109	JMC  
To:   PMF    
Is Ted Anderson S-1, and why does he print large theses?

∂01-May-79  2032	JMC  	your message  
To:   LGC    
I will be in by 9:15.   Your opus might well be included as an appendix to
the section of the proposal.  How long is it in printed pages.  Did you
do it in September as the date indicates?  We should have discussed it.
You might show it to Ma as it is related to things he is thinking about.
I would be more convinced that the loose ends were tied down if some
part of the reasoning were made into a FOL proof.  If Ma can do it, you
can.

	Naturally I haven't had time to read all the axioms and theorems
to see if I believe them, but this is the kind of thing I hoped you would
do.

∂01-May-79  1914	JMC  
To:   LGC    
Yes, I will be in later.

∂01-May-79  1914	JMC  
To:   PAT    
Please send John Hennessy a copy of Elephant.  It's ELEPHA.XGP[S79.

∂01-May-79  0233	JMC  
To:   WD
What did my poor beast do to offend?  Yes, you are welcome to stay.
We will return next Tuesday night.

∂01-May-79  0100	JMC  
To:   CLT    
I have made some changes directly to JUNK.

∂30-Apr-79  2255	JMC  
To:   MRC at SU-AI
Congratulations on Dialnet success.

∂30-Apr-79  2252	JMC  	oral date
To:   DEW    
I need to change your oral date.  Any other day that week will do - or that evening.

∂30-Apr-79  1928	JMC  
To:   guernylusby at USC-ISI
May 3 schedule fine with me.

∂30-Apr-79  0141	JMC  
To:   WD
Any chance that you could transport Caspian to Berkeley by Wednesday?

∂29-Apr-79  2322	JMC  
To:   RWW    
Just as you spelled it.

∂29-Apr-79  2321	JMC  
To:   RWW    
Yes, include Chris.

∂27-Apr-79  1628	JMC  
To:   morton at PARC-MAXC   
I go along with Newell on Partridge.

∂27-Apr-79  1627	JMC  
I go along with Newell.

∂27-Apr-79  1406	JMC  
To:   TOB    
Go ahead and invite.

∂27-Apr-79  1127	JMC  	Leivant  
To:   GHG    
I definitely favor the admission of Leivant.  I think that both
mathematical theory of computation and artificial intelligence need people
with a strong background in mathematical logic.  Barring unforseen events,
the AI Lab will be able to support him.

∂26-Apr-79  2333	JMC  
To:   RWW    
 ∂26-Apr-79  2329	RWW  	arpa proposal 
did you get my message?
Yes, let's talk tomorrow, but I suppose I would welcome a draft for the
whole group.  Including Gigina seems reasonable, if you think she
will do good things.

∂26-Apr-79  2324	JMC  
To:   CLT    
call alice

∂26-Apr-79  1637	JMC  	your message  
To:   MAX    
1. Have a good visit to the East Coast.
2. We won't know about paying expenses to AI conference till we find out
how many papers have been accepted, but the chances aren't very good.
3. It is better to send me messages using MAIL rather than SEND.  They
are sometimes lost when I'm editing, and I like to keep copies.

∂26-Apr-79  1453	JMC  
To:   PAT    
Let me not forget newbor.le1.

∂26-Apr-79  1431	JMC  
To:   HVA    
If you have info on when toner will come, mail *.

∂26-Apr-79  1358	JMC  	proofs for MI9
To:   PAT    
Donald Michie called to say that he hadn't received them.

∂26-Apr-79  1246	JMC  
To:   mcgoveran at SUMEX-AIM
I'll be at faculty meeting.

∂26-Apr-79  1048	JMC  
To:   csl.owicki at SU-SCORE
I should explain that I am not really in this loop.  I was talking to
Ed Blum about another matter, and he mentioned it, and I said that with
our great computer system, I could send you a message instantly.  Perhaps
some regulator should suggest banning message systems as giving people
too much tendency to get involved in other people's business.

∂26-Apr-79  1044	JMC  
To:   bmoore at SRI-KL 
To tell the truth, I would like one hard bound copy, assuming that M.I.T.
theses are nicely bound like Stanford ones.

∂25-Apr-79  2155	JMC  
To:   SSO at SU-AI
Ed Blum rec'd letter from Takasu regretting absence of your corrections to transcripts.

∂25-Apr-79  1723	JMC  
To:   MAX    
Bob Moore will be here at 2pm tomorrow Thursday, and we can talk then.

∂25-Apr-79  1640	JMC  
To:   bmoore at SRI-KL 
How about meeting with me and Ma at 2pm here tomorrow, e.g. Thursday?  This
is tentative till he agrees, and he's not in.

∂25-Apr-79  1637	JMC  
To:   bmoore at SRI-KL 
Are bound copies of your PhD thesis available yet?

∂25-Apr-79  0002	JMC  
To:   ME, ROB
AP broken again

∂24-Apr-79  2212	JMC  
To:   RWW    
How are you coming on proposal?

∂24-Apr-79  1636	JMC  
To:   DPB    
To what have you changed the name of the department phone file?

∂24-Apr-79  1626	JMC  
To:   bmoore at SRI-KL 
Was Ma's explanation sufficient, and are you ready to talk?

∂24-Apr-79  1411	JMC  
To:   PAT    
schwar.pr1[let,jmc] is a review of the proposal I put on your desk.

∂23-Apr-79  2245	JMC  
To:   MLB    
For usefulness, NEWDO writeup must be merged with the old.

∂23-Apr-79  1917	JMC  
To:   REP    
I forget when we talked, but there is now a parallel Elephant program.

∂23-Apr-79  1145	JMC  
To:   DPB at SU-AI
CC:   EAF at SU-AI
In that case, it would be better if you would list CS206 as ordinarily
given in both quarters, but not given in Spring next year.  There is
another issue connected with my desire not to allow the theory to
be squeezed out by mere programming.

∂21-Apr-79  2210	JMC  	Shrinking CS206    
To:   DPB at SU-AI
CC:   feigenbaum at SUMEX-AIM    
I was surprised to notice that CS206 is to be given only in the Fall
next year.  It isn't obvious that that is the right thing to do.

∂21-Apr-79  1953	JMC  
To:   PAT    
Please send John Williams at IBM San Jose copies of FIRST and ELEPHA.

∂20-Apr-79  1235	JMC  	Mr. S and Mr. P    
To:   MAX at SU-AI
CC:   bmoore at SRI-KL 
	Your axiomatization is a considerable improvement on mine, mainly
because it separates the reasoning about knowledge from arithmetic
reasoning to an even greater extent.  A slight further improvement can be
made by eliminating the predicate OK.  A PAIR can be taken to mean what
you called an OK pair, and the reasoning about OK can be made part of the
arithmetic.

	I still have some questions about the axioms describing the
effects of learning.  These doubts concern my formulation as well as
yours.  Bob Moore, whom you met at SRI, will come over some time next
week, and the three of us can discuss axiomatizations for knowledge in
general and learning in particular.  What is you present opinion about
avoiding possible worlds?

∂20-Apr-79  0931	JMC  
To:   LLW    
We shall find out what Carlson had in mind - i.e. whether he was thinking
of Mark 2a or Mark 3 or was awaare of the distinction.  What he had in mind,
however, was not giving Stanford 2 to 4 S-1s for Stanford's use, but rather
having Stanford operate an ARPAnet facility for general Interlisp work.
The questions would be the color of his money, whetherhis time scale
matches that of the Mark 3, and what is in it for Stanford and for the
S-1 project.  I'll be back to you on the other problems.

∂20-Apr-79  0923	JMC  
To:   REM    
The very same Huffman.

∂19-Apr-79  2135	JMC  	D.E.C rumor and space needs  
To:   feigenbaum at SUMEX-AIM    
1. Alan Kotok of D.E.C. confirmed that one more PDP-10 machine is scheduled
after which D.E.C. expects to concentrate on the VAX architecture throughout
its product line.  Also he said that D.E.C. plans to offer an IBM channel
interface that will permit connecting IBM compatible peripherals.  This will
enormously reduce the cost of disk expansion for SCORE.  It will also be
supported with software.

2. More and more good people want to visit.  I think the Department
absolutely needs some expansion space - however low the quality.  Cedar
or Serra will do.

∂19-Apr-79  2116	JMC  
To:   davis at OFFICE-2
Please tell Les that I said it would be ok for you to use the machine
to produce your thesis.  My motivation is also to get the mathematicians
interested in using computers more.

∂19-Apr-79  1657	JMC  
To:   ijcai79 at SUMEX-AIM  
The McDermott paper should be accepted.  It is  D-008.

∂19-Apr-79  1656	JMC  
To:   ijcai79 at SUMEX-AIM  
The McDermott paper should be accepted.

∂19-Apr-79  1427	JMC  
To:   MAX    
I spooled the file and will look at it.

∂18-Apr-79  1550	JMC  	conversation with Lowell Wood
To:   LES, DCL    
He returned my call.  We can expect the Mark I sometime
next winter, but it won't be usable as a time-sharing machine.
The second Mark 2A is scheduled for NBS, and we will get one
of the following batch.  Time-sharing is one-and-a-half to two
years away on his schedule.  ARPA money could advance that, but
Lowell is skeptical as to whether Carlson has money to back up
his ideas.  I told him that I thought the S-1 project should
pay a larger share of the operating expenses of the KL, and we
agreed to discuss it next week.  We need cost information by
then.

∂18-Apr-79  1301	JMC  	need for conversation   
To:   LLW    
I need to discuss with you (1) plan for SAIL S-1, (2) ARPA brainstorm to
buy two to four S-1s for Interlisp work and locate them at Stanford.

∂18-Apr-79  1300	JMC  	sail and score
To:   DCL at SU-AI
CC:   feigenbaum at SUMEX-AIM    
You were mistaken about Feigenbaum's intentions.  Department office work,
documentation and student work including comprehensive problems are to
migrate to SCORE.  The misunderstanding probably arose, because Feigenbaum
doesn't want elementary courses on SCORE.  CS10X, CS206, etc. are to
stay on LOTS.  Therefore, the load on this machine will be reduced.

∂18-Apr-79  1138	JMC  
To:   PAT    
Please pub Wilkin.re1 addressed to Earl Sacerdoti at SRI.

∂17-Apr-79  2143	JMC  
To:   bmoore at SRI-KL 
 ∂17-Apr-79  2015	Zenon.Pylyshyn at CMU-10A (X320ZP51) 	Your letter re conference in October 
Date: 17 Apr 1979 2313-EST
From: Zenon.Pylyshyn at CMU-10A (X320ZP51)
Subject: Your letter re conference in October
To:   JMC @ SU-AI
Message-ID: <17Apr79 231314 ZP51@CMU-10A>

The idea of an interdisciplinary conference sounds fine -- though it might
be most useful if it were kept strictly limitied to the invitees and the
Center people (I suspect this is what you had in mind).  I have already
expressed my positive views on the topic to Ken Klivington at Sloan when
he asked for my opinion on Lindsey's application for money.  I will give
some thought to format and participants in the next few days.  The only
thoughts that come to mind immediately are the names of two people not on
your list that I think would contribute immeasurable* Al Newell and Scott
Fahlman.  I just heard John Searle: he might be OK though totally negative
(he is a good representative of the Dreyfus view, but somewhat more
articulate.  There must be more philosophers, but I can't pick their names
out just now.  I do know that many of the people on your list are very
unlikely to come (e.g. Chomsky, Fodor).  Also I would very much like to
see some cognitive psychology oriented theorists, though the only one I
can think of is Newell.  I will append more as it occurs to me.
-------
Cheers,
Zenon

I'll pass this on to Bob Moore, who will be doing the organizing.  I talked
with Chomsky when he lectured here at Stanford, and although we argued
fiercely about Vietnam, we found ourselves in agreement about many aspects
of the relevant philosophy, and he said he might come to the conference.
Anyway he wanted to be invited.  Newell, Fahlman and Searle can certainly
be invited.

∂17-Apr-79  2143	JMC  
To:   zenon.pylyshyn at CMU-10A  
I'll pass this on to Bob Moore, who will be doing the organizing.  I talked
with Chomsky when he lectured here at Stanford, and although we argued
fiercely about Vietnam, we found ourselves in agreement about many aspects
of the relevant philosophy, and he said he might come to the conference.
Anyway he wanted to be invited.  Newell, Fahlman and Searle can certainly
be invited.

∂16-Apr-79  1657	JMC  
To:   TW
This paper is to be published in %2Philosophical Perspectives in Artificial
Intelligence%1 edited by Martin Ringle and to be published by Humanities
Press.

∂16-Apr-79  1656	JMC  
To:   TW
The paper on ascribing mental qualities will appear as an AI memo
and in a symposium volume.  Patte can give you the precise reference.

∂16-Apr-79  1056	JMC  
To:   MRC at SU-AI
CC:   DBG at SU-AI
Not obvious.  It seems like suppression of dissent, because the story
does not mention their being agents of the mainland government, which
also shoots Kuomintang agents, but such a charge may have been omitted
from the story.  I fear that the Kuomintang government uses a genuine
threat to their survival as a reason for unjustified suppression, but
I don't know it for a fact.

∂16-Apr-79  1049	JMC  
To:   feigenbaum at SUMEX-AIM    
Ed: How does this strike you?  It seems to me to have mainly advantages.

 ∂16-Apr-79  0321	LLW  	Visiting Faculty Appointment for John Reiser
To:   JMC, LES
CC:   LLW   

I spoke with you, John, a few months  ago, and with you, Les, a couple  of
weeks ago  about a  visiting  faculty appointment  for John  Reiser;  your
responses were both of encouraging  flavors, and it was  left up to me  to
suggest when would be an appropriate time for the associated paperwork  to
be ground through by Stanford.

As a result of recent conversations with John by others and by myself, the
appropriate time  quite definitely  seems to  be now. Reiser is  presently
winding up the work which  has occupied him for more  than a year, and  is
now in the process of deciding whether to finish seeking his  management's
permission  to  collaborate  on   multiprocessor  operating  systems   and
lanaguages research with SU/CS and the  S-1 Project, or to undertake  some
other,  more  applied  research  of   relatively  keen  interest  to   his
management.  He has stated quite unequivocally in these recent discussions
that a visiting faculty appointment at SU/CS was tantamount to a sine  qua
non for the  former option  to materialize  (more so  in the  eyes of  his
management than in his own), and that he would be  quite happy to offer  a
seminar series or whatever as a quid pro quo.

Since as you remarked, John, a  visiting faculty appointment at zero  time
costs nothing, and involves nothing  other than pushing paperwork  through
your local bureaucracy,  I will certainly  appreciate your commencing  the
paperwork at the present  time. Reiser indicated that  he would be  asking
for permission to spend about half  his total professional effort with  us
for the next  year, starting this  Spring.  LLL would  pay his travel  and
subsistence expenses during this period, and BTL would continue to pay his
full salary.

John's addresses and phone numbers are as follows:

Business:  Dr. John Fredrick Reiser
           Technical Staff Member
           Bell Telephone Laboratories
           Crawford Corner Road
           Holmdel, NJ  07733      201-949-3942

Home:      53 South Street
           Red Bank, NJ  07701     201-741-3128

Thanks very much for the help.  I trust that Reiser's being in  California
during this  next  12  months will  be  a  marked benefit  to  both  SU/CS
Department and to the S-1 Project!

Lowell

∂15-Apr-79  1614	JMC  
To:   JC
One of us will be there.

∂15-Apr-79  1016	JMC  
To:   REM    
Your ideas seems good, but alas, my own experience in trying to peddle
ideas leaves me very skeptical about making a quick 100 grand or even
a quick one grand.  The resistance to new ideas is such that it is
even difficult to give them away.

∂13-Apr-79  2051	JMC  
To:   ME
Thanks for keeping me informed.
 ∂13-Apr-79  2047	100  : ME	new file pack  
To:   JMC, LES    
I'll put up a new system pack Sunday evening.  No time tonight (even for purge),
since ROB (and I) spent most of the time checking out the disk drives.

∂13-Apr-79  1554	JMC  
To:   PAT    
Please get me "Integer Programming" by T.C. Hu from the library.

∂13-Apr-79  1543	JMC  	Delegation from Harbin  
To:   MAX    
Would you be willing to help tell some people from Harbin about
the Lab on Monday.  I will talk to them for about half an hour
from 2:00 to 2:30, but I suppose they could also learn from someone
who could talk to them in Chinese.

∂13-Apr-79  1220	JMC  
To:   mcgoveran at SUMEX-AIM
I might be interested depending on what companies.

∂13-Apr-79  1219	JMC  
I might be interested depending on what companies.

∂11-Apr-79  1801	JMC  	Russian book on game programs.    
To:   EAF at SU-AI
Ershov just sent me a 255 page 1978 book by Adelson-Velskiy, Arlazarov and Donskoy
on programs for playing games, especially chess.  They are the proprietors
of the good Soviet program Kaissa, and the book looks good.  Can you think
who might be interested in publishing it in English?

∂10-Apr-79  1725	JMC  
To:   carlson at USC-ISI    
That was Thursday May 3.

∂10-Apr-79  1724	JMC  
To:   carlson at USC-ISI    
How about Friday May 3 for visit to discuss proposal?

∂10-Apr-79  1703	JMC  
To:   LES    
The agreement with Ted looks ok to me.

∂10-Apr-79  1559	JMC  
To:   EAF at SU-AI
I have sent letter to Tang; I signed it, since I'm paying.

∂09-Apr-79  2327	JMC  	fol 
To:   CLT    
making assignments to simpsets is really a side effect, and a
source of nonmonotonicity.  a losing thing.
when trying to summarize a theory how do you explain what version
of the ss was used at each stage???

∂09-Apr-79  2311	JMC  	FOLISP   
To:   CLT    
ADD ALL_N SCHEMA TO NATNUM PROOF.  Useful for doing cvi-induction!

∂09-Apr-79  1643	JMC  
To:   DON, ME
From the user's point of view, a need for verifying a spelling arises
while writing.  I would like to write "⊗XDFIND advertise" and have it
confirm for me that "advertise" is spelled with an "s" rather than a "z".

∂09-Apr-79  1633	JMC  
To:   DON, ME
Is there any way of running DFIND out of E?

∂08-Apr-79  2313	JMC  
To:   MRC at SU-AI
I was hoping your message was about Dialnet.

∂08-Apr-79  2257	JMC  
To:   ME
What is present situation of new disks?

∂07-Apr-79  1523	JMC  	algorithm for find 
To:   DON    
I am surprised that FIND took 15 seconds to not find "antidisestablishmentarianism".
I would have thought that very long words would take less time than
the usual 10 seconds.

∂06-Apr-79  1631	JMC  
To:   russell at USC-ISI, carlson at USC-ISI    
I would like to visit and discuss our next proposal.

∂06-Apr-79  1615	JMC  
To:   PAT
CC:   MAX   
Please find out how Ma can get a Stanford ID card?

∂06-Apr-79  1523	JMC  	LETTER   
To:   PAT    
Dr. V. E. Kotov
Computation Center
Novosibirsk 630090
USSR

Dear Dr. Kotov:

	Many thanks for your book on program schemes.  Enclosed is
a paper that may interest you.

.reg

Enclose a copy of FIRST.

∂06-Apr-79  1446	JMC  
To:   TW
I would favor a small required reading list.  Ideally it should be one
book.  Asking the student to use his judgment is not fair, because the
faculty is not bound and is unlikely to respect his judgment.

change the title from "Application of formal logic to AI" to
Epistemological problems of AI and the use of formal logic" and
change the first 3 sentences to
The problem of describing facts about the world including the effects
of actions has been studied apart from specific problem solving
programs.  This work has used first order logic to express facts
about the world.  These issues are discussed in [McCarthy and Hayes]
and in [Hayes DEFENCE].  Many current issues are discussed in [McCarthy
5IJCAI].

The most accessible reference to my reply to Weizenbaum is the
Stanford AI memo containing reviews by myself Buchanan and Lederberg.

I think the syllabus should downplay philosophical and social issues,
because the we certainly don't want to grade students on their own
views, and the field is fluffy enough as it is without letting or
requiring students to be able to regurgitate various people's views
on the issues.  If the faculty wants students to have exposure to
these issues it should require attendance at a seminar or lecture
series and take attendance but not examine.

I guess I would advocate omitting or drastically condensing the
sections on philosophical implications, political and social
implications and history and politics of the field.  However, on
philosophical implications there is a new important reference,
namely Aaron Sloman's "The Computer Revolution in Philosohy".

I regret the demise of MICROplanner which had a clearer and simpler
structure than its successors as well as having more actual use.

∂06-Apr-79  1353	JMC  	Tang
To:   EAF at SU-AI
I have decided to come up with the money out of my unrestricted funds to
offer Tang a ticket and living expenses of $450 per month for a year.
Therefore, if it's ok with you, I will invite him and simultaneously
circulate his vitae.  Don and I were both much impressed with him.

∂05-Apr-79  2352	JMC  
To:   PAT    
putnam.le1

∂04-Apr-79  1650	JMC  
To:   BS at SU-AI
CC:   EAF at SU-AI 
Why not 8 percent?

∂03-Apr-79  2341	JMC  
To:   admin.gorin at SU-SCORE    
Could you press MRC a bit on Dialnet?

∂03-Apr-79  2125	JMC  	medical insurance for Ma
To:   PAT    
Would you ask Office of Foreign Visitors and/or China Relations Office what
is the best way for Ma to buy medical insurance while he is here.

∂03-Apr-79  1707	JMC  
To:   LGC    
It's possible, but I'd prefer you got someone else.

∂03-Apr-79  1417	JMC  	Gorin salary  
To:   EAF at SU-AI
Pat Devaney just called me about Gorin salary, and we two are to  make
a recommendation.  What happened with the raise he got associated with
increased responsibilities?  I suppose he should get a normal raise
on top of that.

∂02-Apr-79  1944	JMC  
To:   jrobinson at SRI-KL   
No help needed.  We expect you at 7.

∂02-Apr-79  1648	JMC  
To:   PAT    
sloman.le1

∂02-Apr-79  1631	JMC  
To:   RWW    
ARPA proposal material is needed by May 1.

∂02-Apr-79  1617	JMC  
To:   bmoore at SRI-KL 
OK, please send Patte your updated list.

∂02-Apr-79  1222	JMC  
To:   bmoore at SRI-KL 
The letter is ok to send without change, and I agree that Barbara Partee
would be a good potential invitee.  Do you want to send it from SRI?
From here; Patte would do it for you?  Or from CASBS?

∂02-Apr-79  1216	JMC  
To:   LES    
good

∂02-Apr-79  1054	JMC  
To:   EAF at SU-AI
.require "let.pub" source
 ∂AIL Prof. Tang Chih-sung↓Institute of Computers↓Academia Sinica↓Peking, China∞
.<<sister = Tang Shih Sung = Dianna Lee, 953 Reliez Station Rd. Lafayette
.CA 94549, tel 937-2869 home, 834-5740 ext 293
.restaurant = Fu Lu Shou, 2115 Kittredge St., Berkeley, tel. 548-7544>>

Dear Prof. Tang:

	On the recommendation of Professors Donald Knuth and John McCarthy,
the Computer Science Department of Stanford University would
welcome you as a Visiting Scholar for a period of up to one year (your
choice) starting at any time convenient to you on or before October 1,
1979.  We would be able to provide office space, secretarial help, and
computer facilities but no salary or expenses, i.e. no money would change
hands.

	If it seems likely that you will be able to accept this offer,
write me and we will send you a DSP-66 Form that can be used to obtain a
visa from the U.S. Embassy in Peking.

	Should you have financing only for visit shorter than one
year, it is possible that we may be able to finance an extension, but
this depends on how mutual scientific interests develop and the availability
of funds from our research grants and contracts and could be determined
only some time after your arrival.

.sgn